1. Australian libraries: the essential directory
پدیدآورنده: / Compiled and edited by Alan and Judith Bundy
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: Libraries - Australia - Directories,Information Services - Australia - Directories
رده :
Bib
.
Z870
.
A1A83
2001
2. Automated Deduction -- CADE-12 :
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
3. Automated Mathematical Induction
پدیدآورنده: edited by Hantao Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
4. Catalogue of Artificial Intelligence Tools
پدیدآورنده: edited by Alan Bundy, Lincoln Wallen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
5. Catalogue of Artificial Intelligence Tools
پدیدآورنده: edited by Alan Bundy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1986
6. Catalogue of artificial intelligence techniques
پدیدآورنده: Alan Bundy )ed(; asistant editor, Alan Smaill
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing ، Artificial intelligence
رده :
Q
336
.
C28
1990
7. Catalogue of artificial intelligence techniques
پدیدآورنده: / Alan Bundy (ed.)
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Artificial intelligence - Data processing
رده :
Q336
.
B86
1990
8. Catalogue of artificial intelligence tools
پدیدآورنده: Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
9. Catalogue of artificial intelligence tools
پدیدآورنده: Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
10. Catalogue of artificial intelligence tools
پدیدآورنده: / edited by Alan Bundy
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Artificial intelligence -- Data processing,Robotics,Electronic digital computers -- Programming,Computer programs -- Catalogs
رده :
Q
336
.
C27
1986
11. Constantine to c. 600
پدیدآورنده: / edited by Augustine Casiday , Frederick W. Norris.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
رده :
R
BR165
.
C3
V
.
2
2007
12. Constantine to c. 600
پدیدآورنده: \ Edited By Augustine Casiday and Frederick W. Norris.
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: مسیحیت -- تاریخ -- کلیسای اولیه، ح.۳۰-۶۰۰م.
رده :
BR
200
.
C66
13. Constantine to c. 600
پدیدآورنده: edited by Augustine Casiday and Frederick W. Norris
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Church history - Primitive and early church, ca. 03-006
رده :
BR200
.
C66
2007
14. Constantine to c. 600
پدیدآورنده: edited by Augustine Casiday and Frederick W. Norris
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع: ، Church history - Primitive and early church, ca. 03-006
رده :
BR
200
.
C66
2007
15. The Cambridge history of Christianity: Constantine to c. 600
پدیدآورنده: edited by Augustine casiday and Frederick w. Norris
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع: ، Church history,، Church history - Primitive and early church, ca. 03-006
رده :
BR
145
.
2
.
C66
V
.
2
